🔗 Dependent Types - abnv · Scour

A Foundation for Differentiable Logics using Dependent Type Theory

arxiv.org·1d

🏗️Calculus of Constructions

Lean and AI caught a bug in my 2-year-old TLA+ spec

medium.com·1d·

Discuss: Hacker News

🎯Symbolic Execution

Maximally minimal specialization: always applicable impls

smallcultfollowing.com·20h

⚡Partial Evaluation

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·16h

📈Monotonic Logic

type++: Prohibiting Type Confusion with Inline Type Information

papers.cool·1d

🔮Type Inference Visualization

RalphMAD – Autonomous SDLC Workflows for Claude Code (BMAD and Ralph Loop)

news.ycombinator.com·50m·

Discuss: Hacker News

🎭Program Synthesis

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

🧮Theorem Provers

Structured Outputs for LLMs

ternarysearch.blogspot.com·1d·

Discuss: Hacker News, ternarysearch.blogspot.com

🪜Recursive Descent

A language designed for machines to write

veralang.dev·1d

🎭Racket Modules

Message Passing Without Temporal Direction: Constraint Semantics and the FITO Category Mistake

arxiv.org·4h

Show HN: Btrc – I built a language with AI in a few weeknights that outputs C11

github.com·15h·

Discuss: Hacker News

🧸Toy Compilers

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·11h·

Discuss: Hacker News

🤐Zipper Structures

Show HN: Sabela – A Reactive Notebook for Haskell

datahaskell.org·1d·

Discuss: Lobsters, Hacker News

⚡functional programming

Tsonnet #31 - Taking back control of equality

dev.to·12h·

Discuss: DEV

🔗Lexical Scoping

Source-available projects and their AI contribution policies

theconsensus.dev·1d

🎭Program Synthesis

Implementing constexpr parameters using C++26 reflection (kind of)

godbolt.org·3h·

Discuss: r/cpp

🔗Lexical Scoping

A Common Interface for Automatic Differentiation

jmlr.org·21h

⚡Partial Evaluation

Understanding the Go Compiler

internals-for-interns.com·1d

🐹Go Internals

Completing the formal proof of higher-dimensional sphere packing

math.inc·14h·

Discuss: Hacker News

🧮Combinator Calculus

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·1d

📚Forth Compilers

Loading more...